Protocol specification, testing and verification - a selection of tutorial papers presented at the 10th IFIP WG-6.1 International Symposium on Protocol Specification, Testing and Verification, June 1990, Ottawa, Ontario, Canada
- Författare
- (Guest editors: Luigi Logrippo, ...)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| North-Holland | 1992 | Nederländerna, Amsterdam | S. 199-276 : ill., diagr. |